Applying the SCR Requirements
نویسنده
چکیده
منابع مشابه
Applying the SCR Requirements Method to a Simple Autopilot
Although formal methods for developing computer systems have been available for more than a decade, few have had signi cant impact in practice. A major barrier to their use is that developers nd formal methods di cult to understand and apply. One exception is a formal method called SCR for specifying computer system requirements which, due to its easy-to-use tabular notation and demonstrated sc...
متن کاملApplying the SCR Requirements Method
To date, the SCR (Software Cost Reduction) requirements method has been used in industrial environments to specify the requirements of many practical systems, including control systems for nuclear power plants and avionics systems. This paper describes the use of the SCR method to specify the requirements of the Light Control System (LCS), the subject of a case study at the Dagstuhl Seminar on ...
متن کاملApplying the SCR Requirements Method to the
To date, the SCR (Software Cost Reduction) requirements method has been used in industrial environments to specify the requirements of many practical systems, including control systems for nuclear power plants and avionics systems. This paper describes the use of the SCR method to specify the requirements of the Light Control System (LCS), the subject of a case study at the Dagstuhl Seminar on ...
متن کاملApplying the SCR Requirements Method to
To date, the SCR (Software Cost Reduction) requirements method has been used in industrial environments to specify the requirements of many practical systems, including control systems for nuclear power plants and avion-ics systems. This paper describes the use of the SCR method to specify the requirements of the Light Control System (LCS), the subject of a case study at the Dagstuhl Seminar on...
متن کاملFinding Mode Invariants in SCR Speci cations
This paper introduces an algorithm and a new graph, the Conditioned Transition Graph (CTG), to derive the mode invariants from an Software Cost Reduction (SCR) mode transition table. An SCR requirements document contains a complete description of the external behavior of the software system. Some system properties, such as mode invariants, can be used to describe safety features that must be en...
متن کامل